Temporal Reasoning and MAS

Temporal Logics and Temporal Reasoning

Temporal representation and reasoning

It is commonly recognized that temporal representation and reasoning issues occupy a central position in the areas of artificial intelligence, databases, and theoretical computer science. Temporal concerns permeated research in artificial intelligence from the beginning, as witnessed by the seminal work by MacCarthy and Hayes and by Kahn and Gorry on knowledge representation and common sense re...

Temporal Representation and Reasoning

This book is about representing knowledge in all its various forms. Yet, whatever phenomenon we aim to represent, be it natural, computational, or abstract, it is unlikely to be static. The natural world is always decaying or evolving. Thus, computational processes, by their nature, are dynamic, and most abstract notions, if they are to be useful, are likely to incorporate change. Consequently,...

Representation and reasoning with disjunctive temporal constraints TRACK 1: Temporal representation and reasoning in AI TOPIC: Temporal constraint reasoning

The purpose of this paper is to show the expressiveness provided by the use of a Labelled TCSP model in order to specify and reason about disjunctive temporal constraints. We use a network based representation. The reasoning algorithms allows us to manage complex temporal constraints, both in assertion and query processes. It allows disjunctive assertions, conjunctive and hypothetical queries, ...

Temporal Representation and Reasoning in

The representation of temporal information has been in the center of intensive research activities over the years in the areas of knowledge representation, databases and more recently, the Semantic Web. The proposed approach extends the existing framework of representing temporal information in ontologies by allowing for representation of concepts evolving in time (referred to as “dynamic” info...